30 research outputs found

    Proof Assistants for Natural Language Semantics

    Get PDF

    Using Signatures in Type Theory to Represent Situations

    Get PDF

    Individuation Criteria, Dot-types and Copredication:A View from Modern Type Theories

    Get PDF
    International audienceIn this paper we revisit the issue of copredica-tion from the perspective of modern type theories. Specifically, we look at: a) the counting properties of dot-types, and b) the case of a complex dot-type that has remained unsolved in the literature, i.e. that of newspaper. As regards a), we show that the account proposed in (Luo, 2010) for dot-types makes the correct predictions as regards counting. In order to verify this, we implement the account in the Coq proof-assistant and check that the desired inferences follow. Then, we look at the case of b), the case of a dot-type which is both resource and context sensitive. We propose a further resource sensitive version of the dot-type, in effect a linear dot-type. This along with local coercions can account for the behaviour attested

    The Bantu-Romance-Greek connection revisited: processing constraints in auxiliary and clitic placement from a cross-linguistic perspective

    Get PDF
    This paper explores a connection between Romance and Greek on the one hand, and Bantu on the other. More specifically, we look at auxiliary placement in Rangi and clitic placement in Tobler Mussafia languages, with a special emphasis on Cypriot Greek, and argue that a common explanation for their distribution can be found once a move into a dynamic framework is made. Rangi exhibits an unusual word order alternation in auxiliary constructions under which the position of the auxiliary appears to be sensitive to an element appearing at the left periphery of the clause. A similar sensitivity to a left-peripheral element can be seen to regulate clitic placement in Cypriot Greek (and generally in the so-called Tobler Mussafia clitic languages). The paper presents a parsing-oriented account of these two phenomena in the Dynamic Syntax framework, arguing that the similarities in syntactic distribution are the result of the encoding in the lexicon of processing strategies that were potentially pragmatic preferences in earlier stages of the respective languages. The account thus leans on the role played by the lexical entries for auxiliary and clitic forms, as well as the assumption that underspecification is inherent in the process of establishing meaning in context. The account is further supplemented by possible pathways of diachronic change that could have given rise to the systems found in present day varieties
    corecore